Graph transformation formulas {cal3} {img}